1181. Technological innovation for resilient systems :
پدیدآورنده : Luis M. Camarinha-Matos, Kankam O. Adu-Kankam, Mohammad Julashokri (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cooperating objects (Computer systems), Congresses.,Application software.,Artificial intelligence.,Artificial intelligence.,Computer networks.,Computer science.,Computers-- Data Processing.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers, Special purpose.,Electric power production.,Energy technology & engineering.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Network hardware.,Technology & Engineering-- Power Resources-- General.
رده :
QA76
.
76
.
A65
I35
2018
1182. Technologies and innovation :
پدیدآورنده : Rafael Valencia-García, Gema Alcaraz-Mármol, Javier Del Cioppo-Morstadt, Néstor Vera-Lucio, Martha Bucaram-Leverone (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cloud computing, Congresses.,Computer science, Congresses.,Natural language processing (Computer science), Congresses.,Technological innovations, Congresses.,Artificial intelligence.,Cloud computing.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Mobile & handheld device programming-- Apps programming.,Natural language processing (Computer science),Software Engineering.,Technological innovations.
رده :
QA75
.
5
1183. Technology of object-oriented languages and systems, TOOLS 29 : proceedings : June 7-10, 1999, Nancy, France
پدیدآورنده : edited by Richard Mitchell ... ]et al.[ ; Sponsored Interactive Software Engineering, Inc.
کتابخانه: (طهران)
موضوع : Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
64
.
T665
1999
1184. Technology of object-oriented languages and systems: Tools 29: proceedings, June 7-10, 1999, Nancy, France
پدیدآورنده : edited by Richard Mitchell...]et al.[; sponsored by Interactive Software Engineering
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
64
.
T66
1999
1185. Technology trends :
پدیدآورنده : Miguel Botto-Tobar, Guillermo Pizarro, Miguel Zúñiga-Prieto, Mayra D'Armas, Miguel Zúñiga Sánchez (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Technological innovations, Congresses.,Technological innovations.
رده :
T173
.
8
1186. Tenth Conference on Software Engineering Education & Training: April 13-16, 1997, Virginia Beach, Virginia
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Software engineering-- Study and teaching )Higher(
رده :
QA
76
.
758
.
C687
1997
1187. Testbeds and research infrastructures for the development of networks and communications :
پدیدآورنده : Honghao Gao, Yuyu Yin, Xiaoxian Yang, Huaikou Miao (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture, Congresses.,Computer networks, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer architecture.,Computer networks.,Parallel processing (Electronic computers)
رده :
TK5105
.
5
.
T47
2018eb
1188. Testing software and systems
پدیدآورنده : Brian Nielsen, Carsten Weise (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Testing, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
T48
I28
2012eb
1189. Testing software and systems.
پدیدآورنده : \ Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Testing -- Congresses,Software engineering -- Congresses,نرم‌افزار -- آزمایش -- کنگره ها,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
76
.
T48
I34
2015
E-Book
,
1190. Tests and proofs
پدیدآورنده : Achim D. Brucker, Jacques Julliand
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
T48
T37
2012eb
1191. Tests and proofs
پدیدآورنده : Catherine Dubois (ed.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Quality control, Congresses,Computer software-- Reliability, Congresses,Computer software-- Testing, Congresses
رده :
QA76
.
76
.
T48
T37
2009
1192. The First International Coference on Requirements Engineering, April 18- 22, 1994
پدیدآورنده : International Coference on Requirements Engineering )1st: 4991 : Colorado Springs, Colorado(
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Software engineering- Congresses
1193. The beauty of functional code :
پدیدآورنده : Peter Achten, Pieter Koopman (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Functional programming (Computer science), Congresses
رده :
QA76
.
62
1194. The common component modeling example
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Component software ; Congresses. ; Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ;
1195. The practice of enterprise modeling :
پدیدآورنده : Robert Andrei Buchmann, Dimitris Karagiannis, Marite Kirikova (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business enterprises-- Data processing, Congresses.,Business planning-- Simulation methods, Congresses.,Industrial organization-- Simulation methods, Congresses.,Information modeling, Congresses.,Information technology-- Management, Congresses.,Management information systems, Congresses.,Business & Economics-- Information Management.,Business enterprises-- Data processing.,Business mathematics & systems.,Business planning-- Simulation methods.,Computers-- Data Processing.,Computers-- Information Technology.,Computers-- Software Development & Engineering-- General.,Industrial organization-- Simulation methods.,Information modeling.,Information retrieval.,Information technology-- Management.,Management information systems.,Public administration.,Software Engineering.
رده :
QA76
.
758
.
I35
2018
1196. The 20th IEEE/ACM International Conference on Automated Software Engineering, Long Beach, California, USA, November 7-11, 2005
پدیدآورنده : Sponsored by IEEE Computer Society, ACM Software Research, University of California, Irvine, Department of Computing, City University, London ]and[ Donald Bren School of Information and Computer Sciences, University of California, Irvine
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer-aided software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
I442
2005
1197. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
1198. Theory and practice of model transformations
پدیدآورنده : Zhenjiang Hu, Juan de Lara (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Model-driven software architecture, Congresses
رده :
QA76
.
76
.
D47
I26
2012eb
1199. Theory and practice of model transformations :
پدیدآورنده : Laurence Tratt, Martin Gogolla (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses.,Model-driven software architecture, Congresses.
